Assert $\parallel$$L_{1}$ @ [$x$ / $L_{2}$]$\parallel$ = $\parallel$$L_{1}$$\parallel$+$\parallel$$L_{2}$$\parallel$+1 
\\[0ex]